#include <stdio.h>

extern void add(int a, int b) { printf("add=%d\n", a + b); }